#ifndef __ZHU_OS_KERNEL64_KERNEL_H__
#define __ZHU_OS_KERNEL64_KERNEL_H__
#include "types.h"
#include "stdarg.h"

int vsprintf(char* buf, const char *fmt, va_list args);

int printk(const char* fmt, ...);

int printk_fixed_position(int offset, const char* fmt, ...);

#endif